﻿// ==++==
// 
//   Copyright (c) Microsoft Corporation.  All rights reserved.
// 
// ==--==
using System;
using System.Collections.Generic;
using System.Text;
using Microsoft.ExtendedReflection.Reasoning.ExecutionNodes;
using Microsoft.ExtendedReflection.Logging;

namespace Microsoft.Pex.Fitness.Interfaces
{
    internal class PexFitnessEventArgs : RemoteEventArgs
    {
        public readonly IExecutionNode FlippedNode;
        public readonly IExecutionNode Node;
        public readonly int TargetID;
        public PexFitnessEventArgs(IExecutionNode flippedNode, IExecutionNode node, int target)
        {
            this.FlippedNode = flippedNode;
            this.Node = node;
            this.TargetID = target;
        }
    }
}
